Claire de Duras, Ourika

Claire Walczak

favourite plants. Linnaeus’s affection for it has been well documented: he used it as a mattress and cover when he slept in woods during his journeys across Sweden. This month also sees the opening of a new exhibition to celebrate Linnaeus at the Natural History Museum, Systema Metropolis, exploring the unseen wildlife in London from a number of sites. Created by the US artist, Mark Dion, it re...

To Claire v

Claire Hutton 699 Final.PDF

............................................................................................................................. iii Acknowledgements............................................................................................................ iv Table Of

CLAIRE: a brief overview

For the last 10 years, we have been experimenting with the use of a hybrid objectoriented language, LAURETM1, to solve “advanced” industrial problems (that require some form of reasoning or constraint solving) [Ca91]. This approach was successful in the sense that we were able to solve complex problems in a better way than previous approaches [Ca94]. However, we failed short of our initial goal...

Claire Le Goues – Research Statement

I often feel as though the possibilities for modern software are limitless. It’s therefore a particular shame that software developers spend so much energy keeping current systems running. Put frankly, software is riddled with defects, new vulnerabilities come to light daily, and bugs cost the economy tens of billions of dollars annually. Researchers have developed techniques for bug prevention...